Global stabilization of a Korteweg-de Vries equation with saturating distributed control

This article deals with the design of saturated controls in the context of partial differential equations. It focuses on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. Two different types of saturated controls are considered. The well-posedness is proven applying a Banach fixed point theorem, using some estimates of this equation and some properties of the saturation function. The proof of the asymptotic stability of the closed-loop system is separated in two cases: i) when the control acts on all the domain, a Lyapunov function together with a sector condition describing the saturating input is used to conclude on the stability, ii) when the control is localized, we argue by contradiction. Some numerical simulations illustrate the stability of the closed-loop nonlinear partial differential equation. 1. Introduction. In recent decades, a great effort has been made to take into account input saturations in control designs (see e.g [39], [15] or more recently [17]). In most applications, actuators are limited due to some physical constraints and the control input has to be bounded. Neglecting the amplitude actuator limitation can be source of undesirable and catastrophic behaviors for the closed-loop system. The standard method to analyze the stability with such nonlinear controls follows a two steps design. First the design is carried out without taking into account the saturation. In a second step, a nonlinear analysis of the closed-loop system is made when adding the saturation. In this way, we often get local stabilization results. Tackling this particular nonlinearity in the case of finite dimensional systems is already a difficult problem. However, nowadays, numerous techniques are available (see e.g. [39, 41, 37]) and such systems can be analyzed with an appropriate Lyapunov function and a sector condition of the saturation map, as introduced in [39]. In the literature, there are few papers studying this topic in the infinite dimensional case. Among them, we can cite [18], [29], where a wave equation equipped with a saturated distributed actuator is studied, and [12], where a coupled PDE/ODE system modeling a switched power converter with a transmission line is considered. Due to some restrictions on the system, a saturated feedback has to be designed in the latter paper. There exist also some papers using the nonlinear semigroup theory and focusing on abstract systems ([20],[34],[36]). Let us note that in [36], [34] and [20], the study of a priori bounded controller is tackled using abstract nonlinear theory. To be more specific, for bounded ([36],[34]) and unbounded ([34]) control operators, some conditions are derived to deduce, from the asymptotic stability of an infinite-dimensional linear system in abstract form, the asymptotic stability when closing the loop with saturating controller. These articles use the nonlinear semigroup theory (see e.g. [24] or [1]). The Korteweg-de Vries equation (KdV for short)Comment: arXiv admin note: text overlap with arXiv:1609.0144

Stabilization of a linear Korteweg-de Vries equation with a saturated internal control

This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a linear Korteweg-de Vries equation, which is a mathematical model of waves on shallow water surfaces. In this article, we close the loop with a saturating input that renders the equation nonlinear. The well-posedness is proven thanks to the nonlinear semigroup theory. The proof of the asymptotic stability of the closed-loop system uses a Lyapunov function.Comment: European Control Conference, Jul 2015, Linz, Austri

Output feedback stabilization of the Korteweg-de Vries equation

International audienceThis paper presents an output feedback control law for the Korteweg-de Vries equation. The control design is based on the backstepping method and the introduction of an appropriate observer. The local exponential stability of the closed-loop system is proven. Some numerical simulations are shown to illustrate this theoretical result

LpL^p-asymptotic stability analysis of a 1D wave equation with a boundary nonmonotone damping

This paper is concerned with the asymptotic stability analysis of a one dimensional wave equation with a nonlinear non-monotone damping acting at a boundary. The study is performed in an $L^p$-functional framework, $p\in [1,\infty]$. Some well-posedness results are provided together with exponential decay to zero of trajectories, with an estimation of the decay rate. The well-posedness results rely mainly on some results collected in [7]. Asymptotic behavior results are obtained by the use of a suitable Lyapunov functional if $p$ is finite and on a trajectory-based analysis if $p=\infty$

Semi-global stabilization by an output feedback law from a hybrid state controller

International audienceThis article suggests a design method of a hybrid output feedback for SISO continuous systems. We focus on continuous systems for which there exists a hybrid state feedback law. A local hybrid stabilizability and a (global) complete uniform observability are assumed to achieve the stabilization of an equilibrium with a hybrid output feedback law. This is an existence result. Moreover, assuming the existence of a robust Lyapunov function instead of a stabilizability assumption allows to design explicitely this hybrid output feedback law. This last result is illustrated for linear systems with reset saturated controls

Stability analysis of a linear system coupling wave and heat equations with different time scales

In this paper we consider a system coupling a wave equation with a heat equation through its boundary conditions. The existence of a small parameter in the heat equation, as a factor multiplying the time derivative, implies the existence of different time scales between the constituents of the system. This suggests the idea of applying a singular perturbation method to study stability properties. In fact, we prove that this method works for the system under study. Using this strategy, we get the stability of the system and a Tikhonov theorem, which allows us to approximate the solution of the coupled system using some appropriate uncoupled subsystems

Global stabilization of a Korteweg-de Vries equation with a distributed control saturated in L 2 -norm

International audienceThis article deals with the design of saturated controls in the context of partial differential equations. It is focused on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. The aim of this article is to study the influence of a saturating in L 2-norm distributed control on the well-posedness and the stability of this equation. The well-posedness is proven applying a Banach fixed point theorem. The proof of the asymptotic stability of the closed-loop system is tackled with a Lyapunov function together with a sector condition describing the saturating input. Some numerical simulations illustrate the stability of the closed-loop nonlinear partial differential equation

A Fredholm transformation for the rapid stabilization of a degenerate parabolic equation

This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich-let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under consideration in this paper is Fredholm. It involves a kernel solving itself another PDE, at least formally. The main goal of the paper is to prove that the Fredholm transformation is well-defined, continuous and invertible in the natural energy space. It allows us to deduce the rapid stabilization